Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Computer Aided Verification, 3 conf., CAV '91

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.42 Mb